We argue that the universal recommendations against “off-label” pediatric use of approved COVID-19 issued by the FDA, CDC, and AAP are overbroad. Especially for higher-risk children, vaccination can be ethically justified even before FDA authorization or approval – and similar reasoning is relevant for even younger patients. Legal risks can also be managed, although the FDA, CDC, and Department of Health and Human Services (HHS) should move quickly to provide clarity.

In her recent paper ‘The Epistemology of Propaganda’ Rachel McKinnon discusses what she refers to as ‘TERF propaganda’. We take issue with three points in her paper. The first is her rejection of the claim that ‘TERF’ is a misogynistic slur. The second is the examples she presents as commitments of so-called ‘TERFs’, in order to establish that radical (and gender critical) feminists rely on a flawed ideology. The third is her claim that standpoint epistemology can be used to establish (...) that such feminists are wrong to worry about a threat of male violence in relation to trans women. In Section 1 we argue that ‘TERF’ is not a merely descriptive term; that to the extent that McKinnon offers considerations in support of the claim that ‘TERF’ is not a slur, these considerations fail; and that ‘TERF’ is a slur according to several prominent accounts in the contemporary literature. In Section 2, we argue that McKinnon misrepresents the position of gender critical feminists, and in doing so fails to establish the claim that the ideology behind these positions is flawed. In Section 3 we argue that McKinnon’s criticism of Stanley fails, and one implication of this is that those she characterizes as ‘positively privileged’ cannot rely on the standpoint-relative knowledge of those she characterizes as ‘negatively privileged’. We also emphasize in this section McKinnon’s failure to understand and account for multiple axes of oppression, of which the cis/trans axis is only one. (shrink)

It is intuitive that circumstantial ignorance, even when culpable, can mitigate blameworthiness for morally wrong behavior. In this paper I suggest an explanation of why this is so. The explanation offered is that an agent’s degree of blameworthiness for some action depends at least in part upon the quality of will expressed in that action, and that an agent’s level of awareness when performing a morally wrong action can make a difference to the quality of will that is expressed in (...) it. This explanation makes use of Holly Smith’s distinction between benighting and benighted actions as well as a notion developed here called “capture.”. (shrink)

This paper considers whether victims can justify what appears to be unnecessary defensive harming by reference to an honour-based justification. I argue that such an account faces serious problems: the honour-based justification cannot permit, first, defensive harming, and second, substantial unnecessary harming. Finally, I suggest that, if the purpose of the honour based justification is expressive, an argument must be given to demonstrate why harming threateners, as opposed to opting for a non-harmful alternative, is the most effective means of affirming (...) one’s honour. Along the way, I also suggest why I think that internalism about the constraints on defensive harming (the view that the satisfaction of the necessity constraint is a necessity condition of a threatener’s liability) is correct. Most importantly, externalism implies that threateners can be liable to suffer gratuitous harm. I take this to be an unattractive consequence of the view. (shrink)

In this field guide, I distinguish five separate senses with which the term ‘mechanism’ is used in contemporary philosophy of science. Many of these senses have overlapping areas of application but involve distinct philosophical claims and characterize the target mechanisms in relevantly different ways. This field guide will clarify the key features of each sense and introduce some main debates, distinguishing those that transpire within a given sense from those that are best understood as concerning distinct senses. The ‘new mechanisms’ (...) sense is at the center of most of these contemporary debates and will be treated at greater length; subsequent senses of mechanism will be primarily distinguished from this one. In part I of this paper, I distinguish two senses of the term ‘mechanism’, both of which are explicitly hierarchical and nested in character, such that any given mechanism is comprised of smaller sub-mechanisms, in turn comprised of yet smaller sub-sub-mechanisms and so on. While both of the senses discussed here are anti-reductive, they differ in their focus on scientific practice versus metaphysics, in the degree of regularity they attribute to mechanisms, and in terms of their relationships to the discussions of mechanisms in the history of philosophy and science. (shrink)

This paper articulates an account of causation as a collection of information-theoretic relationships between patterns instantiated in the causal nexus. I draw on Dennett’s account of real patterns to characterize potential causal relata as patterns with specific identification criteria and noise tolerance levels, and actual causal relata as those patterns instantiated at some spatiotemporal location in the rich causal nexus as originally developed by Salmon. I develop a representation framework using phase space to precisely characterize causal relata, including their degree (...) of counterfactual robustness, causal profiles, causal connectivity, and privileged grain size. By doing so, I show how the philosophical notion of causation can be rendered in a format that is amenable for direct application of mathematical techniques from information theory such that the resulting informational measures are causal informational measures. This account provides a metaphysics of causation that supports interventionist semantics and causal modeling and discovery techniques. (shrink)

Even though the evidence‐based medicine movement (EBM) labels mechanisms a low quality form of evidence, consideration of the mechanisms on which medicine relies, and the distinct roles that mechanisms might play in clinical practice, offers a number of insights into EBM itself. In this paper, I examine the connections between EBM and mechanisms from several angles. I diagnose what went wrong in two examples where mechanistic reasoning failed to generate accurate predictions for how a dysfunctional mechanism would respond to intervention. (...) I then use these examples to explain why we should expect this kind of mechanistic reasoning to fail in systematic ways, by situating these failures in terms of evolved complexity of the causal system(s) in question. I argue that there is still a different role in which mechanisms continue to figure as evidence in EBM: namely, in guiding the application of population‐level recommendations to individual patients. Thus, even though the evidence‐based movement rejects one role in which mechanistic reasoning serves as evidence, there are other evidentiary roles for mechanistic reasoning. This renders plausible the claims of some critics of evidencebased medicine who point to the ineliminable role of clinical experience. Clearly specifying the ways in which mechanisms and mechanistic reasoning can be involved in clinical practice frames the discussion about EBM and clinical experience in more fruitful terms. (shrink)

A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non- causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with the Lotka-Volterra equations. There (...) are at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, but the other of which yields explanations that are distinctively mathematical in terms of nomological strength. In the first, one first picks out a system or class of systems, finds that the equations hold in a causal -explanatory way; in the second, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non- causal explanations can complement one another. (shrink)

Humean accounts of laws are often contrasted with governing accounts, and recent developments have added pragmatic versions of Humeanism. This paper offers Mitchell's pragmatist, perspectival account of laws as a third option. The differences between these accounts come down to the role of modality. Mitchell's bottom-up account allows for subtle gradations of modal content to be conveyed by laws. The perspectival character of laws is not an accident or something to be eventually eliminated - it is part of how this (...) modal content is conveyed. I conclude with a discussion of the metaphysical commitments in Humeanism as requiring a perspectiveless view of the manifold from outside, and how Mitchell's situated account is better able to account for the substantive notion of possibility involved in scientific laws. (shrink)

In this field guide, I distinguish five separate senses with which the term ‘mechanism’ is used in contemporary philosophy of science. Many of these senses have overlapping areas of application but involve distinct philosophical claims and characterize the target mechanisms in relevantly different ways. This field guide will clarify the key features of each sense and introduce some main debates, distinguishing those that transpire within a given sense from those that are best understood as concerning two distinct senses. The ‘new (...) mechanisms’ sense is the primary sense from which other senses will be distinguished. In part II of this field guide, I consider three further senses of the term that are ontologically ‘flat’ or at least not explicitly hierarchical in character: equations in structural equation models of causation, causal-physical processes, and information-theoretic constraints on states available to systems. After characterizing each sense, I clarify its ontological commitments, its methodological implications, how it figures in explanations, its implications for reduction, and the key manners in which it differs from other senses of mechanism. I conclude that there is no substantive core meaning shared by all senses, and that debates in contemporary philosophy of science can benefit from clarification regarding precisely which sense of mechanism is at stake. (shrink)

How regular do mechanisms need to be, in order to count as mechanisms? This paper addresses two arguments for dropping the requirement of regularity from the definition of a mechanism, one motivated by examples from the sciences and the other motivated by metaphysical considerations regarding causation. I defend a broadened regularity requirement on mechanisms that takes the form of a taxonomy of kinds of regularity that mechanisms may exhibit. This taxonomy allows precise explication of the degree and location of regular (...) operation within a mechanism, and highlights the role that various kinds of regularity play in scientific explanation. I defend this regularity requirement in terms of regularity’s role in individuating mechanisms against a background of other causal processes, and by prioritizing mechanisms’ ability to serve as a model of scientific explanation, rather than as a metaphysical account of causation. It is because mechanisms are regular, in the expanded sense described here, that they are capable of supporting the kinds of generalizations that figure prominently in scientific explanations. (shrink)

The reduction of grounding to causation, or each to a more general relation of which they are species, has sometimes been justified by the impressive inferential capacity of structural equation modelling, causal Bayes nets, and interventionist causal modelling. Many criticisms of this assimilation focus on how causation is inadequate for grounding. Here, I examine the other direction: how treating grounding in the image of causation makes the resulting view worse for causation. The distinctive features of causal modelling that make this (...) connection appealing are distorted beyond use by forcing them to fit onto grounding. The very inferential strength that makes causation attractive is only possible because of a narrow construal of what counts as a causal relation; as soon as that broadens, the inferential capacity markedly diminishes. Making causation suitable for application to grounding spoils what was appealing about causation for this task in the first place. However, grounding need not appeal to causation: causal modelling does not have exclusive claim to structural equation modeling or other formal techniques of modelling structure. I offer a case in favour of a different kind of metaphysical frugality, which tend towards narrow, more restrictive construals of relations like causation or grounding, because then each relation behaves more homogenously. This more homogenous behavior delivers stronger inferential power per relation even though there may be more relations to which one is committed. (shrink)

Leuridan (2010) argued that mechanisms cannot provide a genuine alternative to laws of nature as a model of explanation in the sciences, and advocates Mitchell’s (1997) pragmatic account of laws. I first demonstrate that Leuridan gets the order of priority wrong between mechanisms, regularity, and laws, and then make some clarifying remarks about how laws and mechanisms relate to regularities. Mechanisms are not an explanatory alternative to regularities; they are an alternative to laws. The existence of stable regularities in nature (...) is necessary for either model of explanation: regularities are what laws describe and what mechanisms explain. (shrink)

I present three reasons why philosophers of science should be more concerned about violations of causal faithfulness (CF). In complex evolved systems, mechanisms for maintaining various equilibrium states are highly likely to violate CF. Even when such systems do not precisely violate CF, they may nevertheless generate precisely the same problems for inferring causal structure from probabilistic relationships in data as do genuine CF-violations. Thus, potential CF-violations are particularly germane to experimental science when we rely on probabilistic information to uncover (...) the DAG, rather than already knowing the DAG from which we could predict the right experiments to ‘catch out’ the hidden causal relationships. (shrink)

Recently two distinct forms of rule-utilitarianism have been introduced that differ on how to measure the consequences of rules. Brad Hooker advocates fixed-rate rule-utilitarianism, while Michael Ridge advocates variable-rate rule-utilitarianism. I argue that both of these are inferior to a new proposal, optimum-rate rule-utilitarianism. According to optimum-rate rule-utilitarianism, an ideal code is the code whose optimum acceptance level is no lower than that of any alternative code. I then argue that all three forms of rule-utilitarianism fall prey to two fatal (...) problems that leave us without any viable form of rule-utilitarianism. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This chapter examines the philosophical discussion concerning the relationship between time, memory, attention, and consciousness, from Locke through the Scottish Common Sense tradition, in terms of its influence on James' development of the specious present doctrine. The specious present doctrine is the view that the present moment in experience is non punctate, but instead comprises some nonzero amount of time; it contrasts with the mathematical view of the present, in which the divide between past and future is merely a point (...) or a line with no thickness. The anonymous source for the term 'specious present' is revealed as a retired businessman-turned-amateur philosopher. The more likely source for the idea itself is a little-known philosopher, Shadworth Hollway Hodgson, who was not merely a significant influence on James but also on Husserl's development of the tripartite account of internal time consciousness. I conclude by demonstrating how James' changing views on the relationship between concepts and experience meant that by the later period of his writings, including those in which he develops his own views on pragmatism, James would have not merely noted the contrast between a mathematical conception of the present and our actual experience of it, he would have taken a further step and condoned the thick experience of the present as demonstrating the inadequacy of the intellectualized mathematical characterization. (shrink)

This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...) for the claim that the identity-conditions on some individuals are metaphysically haecceitistic, in virtue of the relations that hold between those individuals and the phenomenal properties that they instantiate. The first argument is corroborated by empirical results concerning the phenomenological effects of attention. The second argument is corroborated by empirical results from the study of color in vision science. The arguments vindicate a version of Metaphysical Haecceitism, because the individuals are shown to be typed by the phenomenal properties that they instantiate, although quantification over the individuals is an ineliminable condition on their identity and distinctness. I provide, then, a regimentation of the extant proposals in the ontology of consciousness, using the logic of hyperintensional ground, as augmented by the Bayesian probability calculus. The hyperintensional regimentation vindicates a version of Modal Haecceitism, because the probabilistic ontological dependence of the parts of worlds on other parts thereof provides an ineliminable condition on the identity and distinctness of worlds. (shrink)

Given the technological constraints of long-duration space travel and planetary settlement, off-Earth humans will likely need to employ food systems very different from their terrestrial counterparts, and newly emerging food technologies are being developed that will shape novel food systems in these off-Earth contexts. Projected off-Earth food systems may therefore potentially “alienate” their users in new ways compared to Earth-based food systems. They will be susceptible to alienation in ways that are similar to such potential on Earth, where there are (...) points of overlap between off-Earth food systems and any of the multitudes of ways in which food systems on Earth are structured. They will also be susceptible to new forms of alienation, as we encounter scenarios that are genuinely structurally novel to humanity. These are especially important to consider since there are comparatively fewer analyses of these food systems where they differ from existing ones. We propose five non-exhaustive sources of value beyond nutrition our individual relationships with a food may possess: gustatory, social, cultural, epistemic, and authorial value. Using these, we offer examples of ways in which an off-Earth food system may exacerbate or alleviate alienation for humans in long-term off-Earth food systems. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...) and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

Twentieth century philosophers introduced the distinction between “objective rightness” and “subjective rightness” to achieve two primary goals. The first goal is to reduce the paradoxical tension between our judgments of (i) what is best for an agent to do in light of the actual circumstances in which she acts and (ii) what is wisest for her to do in light of her mistaken or uncertain beliefs about her circumstances. The second goal is to provide moral guidance to an agent who (...) may be uncertain about the circumstances in which she acts, and hence is unable to use her standard moral principle directly in deciding what to do. This paper distinguishes two important senses of “moral guidance”; proposes criteria of adequacy for accounts of subjective rightness; canvasses existing definitions for “subjective rightness”; finds them all deficient; and proposes a new and more successful account. It argues that each comprehensive moral theory must include multiple principles of subjective rightness to address the epistemic situations of the full range of moral decision-makers, and shows that accounts of subjective rightness formulated in terms of what it would reasonable for the agent to believe cannot provide that guidance. -/- . (shrink)

This chapter offers a overview of Shadworth Hodgson's account of experience as fundamentally temporal, an account that was deeply influential on thinkers such as William James and which prefigures the phenomenology of Husserl in many ways. I highlight eight key features that are characteristic of Hodgson's account, and how they hang together to provide a coherent overall picture of experience and knowledge. Hodgson's account is then compared to Husserl's, and I argue that Hodgson's account offers a better target for projects (...) such as neurophenomenology than does Husserl's. Hodgson's account is historically important as a culmination of a certain trajectory of British Empiricist thought. It offers a substantive alternative for how to think about temporality and experience in contemporary discussions, not just of the present moment but of the relationship between experience and knowledge more broadly. (shrink)

This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.

A critical review of Collin Rice's book, Leveraging Distortions: Explanation, Idealization, and Universality in Science.

Meta-laws, including conservation laws, are laws about the form of more specific, phenomenological, laws. Lange distinguishes between meta-laws as coincidences, where the meta-law happens to hold because the more specific laws hold, and meta-laws as constraints to which subsumed laws must conform. He defends this distinction as a genuine metaphysical possibility, such that metaphysics alone ought not to rule one way or another, leaving it an open question for physics. Lange’s distinction marks a genuine difference in how a given meta-law (...) can be used in explanations. Yet, I argue, it is not simply an empirical matter as to whether a given conservation law is a constraint or a coincidence. There is no set matter of fact about the world that determines this, and physics alone will not be able to return a determinate verdict on a law-by-law basis, even while there is a genuine difference between any given law as constraint and as coincidence. Rather, the difference marks different ways of treating the same law in a theoretical setting: by shifting the explanatory context, treating the same law as part of a different mathematical structure, it can be a genuine constraint and a genuine coincidence. The difference between constraint and coincidence relates to the way in which we use a law in specific theoretical and explanatory settings. Because the same law can appear in multiple contexts, it can be used in these genuinely different ways, without itself ‘‘really’’ being either one or the other as some atomistic empirical fact. Conservation laws as constraints and conservation laws as coincidences are both genuine theoretical roles that the same law can play. I conclude by considering how this pragmatist construal of constraints versus coincidences reveals how two parts of Lange’s work in this section of the book are unexpectedly independent of one another. -/- . (shrink)

In his recent book Bad Beliefs and Why They Happen to Good People, Neil Levy argues that conspiracy theories result from the same rational processes that underlie epistemic success. While we think many of Levy’s points are valuable, like his criticism of the myth of individual cognition and his emphasis on the importance of one’s social epistemic environment, we believe that his account overlooks some important aspects. We argue that social deference is an active process, and as such can be (...) helped or hindered by epistemic virtues and vices. With this in mind, holders of bad beliefs acquire more responsibility than is considered by Levy. (shrink)

I highlight a metaphysical concern that stands in the way of more widespread adoption of causal modeling techniques such as causal Bayes nets. Researchers in some fields may resist adoption due to concerns that they don't 'really' understand what they are saying about a system when they apply such techniques. Students in these fields are repeated exhorted to be cautious about application of statistical techniques to their data without a clear understanding of the conditions required for those techniques to yield (...) genuine insight into the data. They are acutely aware that anyone can chuck some data into a software package and get what looks like an answer, even though these tests may not be well-defined for the data on which they can apparently be run. This is thus a healthy skepticism for uptake of causal modeling methods, which points directly to the need for a metaphysical understanding of causation in order to successfully use the modeling methods. Without a clear understanding of what the methods are committing to, including what it means to say that there exists a causal relationship, researchers have limited ability to identify potentially bad output, or to independently verify results. (shrink)

In this paper, I explore a prominent question of Hericlitean scholarship: how is change possible? Karl Popper and G. S. Kirk tackle this same question. Kirk asserts that Heraclitus believed that change is present on a macrocosmic level and that all change is regulated by the cosmic principle logos. Popper, on the other hand, claims Heraclitus believed that change is microcosmic and rejected that all change is regulated by logos. I argue for a combination of aspects from each of their (...) claims and conclude that change is present both microcosmically and macrocosmically and that all change is governed by logos . (shrink)

This chapter discusses several kinds of reduction that are often found in the biomedical sciences, in contrast to reduction in fields such as physics. This includes reduction as a methodological assumption for how to investigate phenomena like complex diseases, and reduction as a conceptual tool for relating distinct models of the same phenomenon. The case of Parkinson’s disease illustrates a wide variety of ways in which reductionism is an important tool in medicine.

This volume celebrates the various facets of Alan Turing (1912–1954), the British mathematician and computing pioneer, widely considered as the father of computer science. It is aimed at the general reader, with additional notes and references for those who wish to explore the life and work of Turing more deeply. -/- The book is divided into eight parts, covering different aspects of Turing’s life and work. -/- Part I presents various biographical aspects of Turing, some from a personal point of (...) view. -/- Part II presents Turing’s universal machine (now known as a Turing machine), which provides a theoretical framework for reasoning about computation. His 1936 paper on this subject is widely seen as providing the starting point for the field of theoretical computer science. -/- Part III presents Turing’s working on codebreaking during World War II. While the War was a disastrous interlude for many, for Turing it provided a nationally important outlet for his creative genius. It is not an overstatement to say that without Turing, the War would probably have lasted longer, and may even have been lost by the Allies. The sensitive nature of Turning’s wartime work meant that much of this has been revealed only relatively recently. -/- Part IV presents Turing’s post-War work on computing, both at the National Physical Laboratory and at the University of Manchester. He made contributions to both hardware design, through the ACE computer at the NPL, and software, especially at Manchester. Part V covers Turing’s contribution to machine intelligence (now known as Artificial Intelligence or AI). Although Turing did not coin the term, he can be considered a founder of this field which is still active today, authoring a seminal paper in 1950. -/- Part VI covers morphogenesis, Turing’s last major scientific contribution, on the generation of seemingly random patterns in biology and on the mathematics behind such patterns. Interest in this area has increased rapidly in recent times in the field of bioinformatics, with Turing’s 1952 paper on this subject being frequently cited. -/- Part VII presents some of Turing’s mathematical influences and achievements. Turing was remarkably free of external influences, with few co-authors – Max Newman was an exception and acted as a mathematical mentor in both Cambridge and Manchester. -/- Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness. -/- Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them. -/- For those interested in personal recollections, Chapters 2, 3, 11, 12, 16, 17, and 36 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 26–31, and 41. Mathematical perspectives can be found in Chapters 35 and 37–39. Historical perspectives can be found in Chapters 4, 8, 9, 10, 13–15, 18, 19, 21–25, 34, and 40. With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap. -/- We hope that you enjoy this volume as part of your library and that you will dip into it whenever you wish to enter the multifaceted world of Alan Turing. (shrink)

Even in areas of philosophy of science that don’t involve formal treatments of truth, one’s background view of truth still centrally shapes views on other issues. I offer an informal way to think about truth as trueing, like trueing a bicycle wheel. This holist approach to truth provides a way to discuss knowledge products like models in terms of how well-trued they are to their target. Trueing emphasizes: the process by which models are brought into true; how the idealizations in (...) models are not false but rather like spokes in appropriate tension to achieve a better-trued fit to target; and that this process is not accomplished once and done forever, but instead requires upkeep and ongoing fine-tuning. I conclude by emphasizing the social importance of being a pragmatist about truth in order to accurately answer questions about science such as, “but do we really know that…”. (shrink)

This paper outlines some key issues that arise when agency and temporality are considered jointly, from the perspective of psychology, cognitive neuroscience, phenomenology, and action theory. I address the difference between time simpliciter and time as represented as it figures in phenomena like intentional binding, goal-oriented action plans, emulation systems, and ‘temporal agency’. An examination of Husserl’s account of time consciousness highlights difficulties in generalizing his account to include a substantive notion of agency, a weakness inherited by explanatory projects like (...) neurophenomenology. I conclude by sketching a project analogous to the projects in neurophenomenology, based on Thompson’s naïve action theory. (shrink)

This chapter examines the relationship between laws and mechanisms as approaches to characterising generalizations and explanations in science. I give an overview of recent historical discussions where laws failed to satisfy stringent logical criteria, opening the way for mechanisms to be investigated as a way to explain regularities in nature. This followed by a critical discussion of contemporary debates about the role of laws versus mechanisms in describing versus explaining regularities. I conclude by offering new arguments for two roles for (...) laws that mechanisms cannot subsume, one epistemically optimistic and one pessimistic, both broadly Humean. Do note that this piece is not primarily Hume exegesis; it is more of a riff in the key of Hume. (shrink)

Critical Notice for: Metaphysics and the Philosophy of Science: New Essays. Edited by Matthew H. Slater and Zanja Yudell. Oxford University Press, 2017. x + 258 pp.

For centuries it has been a mainstay of European and American moral thought that keeping promises—and the allied activity of upholding contracts—is one of the most important requirements of morality. On some historically powerful views the obligation to uphold promises or contracts not only regulates private relationships, but also provides the moral foundation for our duty to support and obey legitimate governments. Some theorists believe that the concept of keeping promises has gradually moved to center stage in European moral thought. (...) They see this movement as part of an historical shift from a moral conception in which an individual’s duties are mainly externally imposed and unalterable, to a conception in which duties are largely chosen by the individual. (shrink)

The problem of mental causation in contemporary philosophy of mind concerns the possibility of holding two different views that are in apparent tension. The first is physicalism, the view that there is nothing more to the world than the physical. The second is that the mental has genuine causal efficacy in a way that does not reduce to pure physical particle-bumping. This article provides a historical background to this question, with focus on Davidson’s anomalous monism and Kim’s causal exclusion problem. (...) Responses to causal exclusion are categorized in terms of six different argumentative strategies. In conclusion, caution is advised regarding the inclination to reduce the mental to the physical and sketch a positive direction for substantively characterizing mental causation by recourse to well-confirmed accounts of causation coupled with empirical research. (shrink)

This paper brings together Thompson's naive action explanation with interventionist modeling of causal structure to show how they work together to produce causal models that go beyond current modeling capabilities, when applied to specifically selected systems. By deploying well-justified assumptions about rationalization, we can strengthen existing causal modeling techniques' inferential power in cases where we take ourselves to be modeling causal systems that also involve actions. The internal connection between means and end exhibited in naive action explanation has a modal (...) strength like that of distinctively mathematical explanation, rather than that of causal explanation. Because it is stronger than causation, it can be treated as if it were merely causal in a causal model without thereby overextending the justification it can provide for inferences. This chapter introduces and demonstrate the usage of the Rationalization condition in causal modeling, where it is apt for the system(s) being modeled, and to provide the basics for incorporating R variables into systems of variables and R arrows into DAGs. Use of the Rationalization condition supplements causal analysis with action analysis where it is apt. (shrink)

When a liberal-democratic state signs a treaty or wages a war, does its whole polity do those things? In this article, we approach this question via the recent social ontological literature on collective agency. We provide arguments that it does and that it does not. The arguments are presented via three considerations: the polity's control over what the state does; the polity's unity; and the influence of individual polity members. We suggest that the answer to our question differs for different (...) liberal-democratic states and depends on two underlying considerations: the amount of discretion held by the state's officeholders; the extent to which the democratic procedure is deliberative rather than aggregative. (shrink)

This chapter briefly reviews the role of race (as a concept) in the history of theorizing the posthuman, engages with existing discussions of race as technology, and explores the significance of understanding race as technology for the field of posthumanism. Our aim is to engage existing literature that posits racialized individuals as posthumans and to consider how studying race might inform theories of the posthuman.

Cyborg and prosthetic technologies frame prominent posthumanist approaches to understanding the nature of race. But these frameworks struggle to accommodate the phenomena of racial passing and racial travel, and their posthumanist orientation blurs useful distinctions between racialized humans and their social contexts. We advocate, instead, a humanist approach to race, understanding racial hierarchy as an industrial technology. Our approach accommodates racial passing and travel. It integrates a wide array of research across disciplines. It also helpfully distinguishes among grounds of racialization (...) and conditions facilitating impacts of such racialization. (shrink)

This paper concerns the role of examples (paradeigmata) as propaedeutic to philosophical inquiry, in light of the methodological digression of Plato’s Statesman. Consistent with scholarship on Aristotle’s view of example, scholars of Plato’s work have privileged the logic of example over their rhetorical appeal to the soul of the learner. Following a small but significant trend in recent rhetorical scholarship that emphasizes the affective nature of examples, this essay assesses the psychagogic potential of paradeigmata, following the discussion of example in (...) Plato’s Statesman. I argue that, by creating an expectation for finding similarities, the use of examples in philosophical pedagogy cultivates in the soul of the learner a desire to discern the intelligible principles the ground experiential knowledge. Thus, examples not only serve as practice at the dialectician’s method of abstraction, but also cultivate a dialectical ethos, characterized by the desire to know the logoi of all things. (shrink)

A moral code consists of principles that assign moral status to individual actions – principles that evaluate acts as right or wrong, prohibited or obligatory, permissible or supererogatory. Many theorists have held that such principles must serve two distinct functions. On the one hand, they serve a theoretical function, insofar as they specify the characteristics in virtue of which acts possess their moral status. On the other hand, they serve a practical function, insofar as they provide an action-guide: a standard (...) by reference to which a person can choose which acts to perform and which not. Although the theoretical and practical functions of moral principles are closely linked, it is not at all obvious that what enables a principle to fill one of these roles automatically equips it to fill the other. In this paper I shall briefly examine some of the reasons why a moral principle might fail to fill its practical role, i.e., be incapable of guiding decisions. I shall then sketch three common responses to this kind of failure, and examine in some detail the adequacy of one of the most popular of these responses. (shrink)